body {
  font-size: 80%;
  font-family: Georgia, Serif;
